1. Computations in higher types
پدیدآورنده : Moldestad, Johan
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Recursive functions
رده :
QA
3
.
L28
no
.
574
2. Computations in higher types
پدیدآورنده : Moldestad, Johan
موضوع : ، Recursive functions
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. Computations in higher types
پدیدآورنده : Moldestad, Johan
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Recursive functions
رده :
QA
1
.
L4
v
.
574
4. Computations in higher types
پدیدآورنده : Moldestad, Johan, 6491-
کتابخانه: (طهران)
موضوع : ، Recursive functions
رده :
QA
3
.
L28
Vol
.
574
5. Computations in higher types, Lecture notes in mathematics
پدیدآورنده : Moldestad, Johan,6491-, Johan Moldestad
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Recursive functions
رده :
QA
3
.
M6C6
1977
